//]]>
Unhighlight Highlight
Fundamentals of Software Engineering by Arbab, Farhad. Publication: . XII, 377 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Processing of the Portuguese Language by Caseli, Helena. Publication: . X, 460p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Seidl, Helmut. Publication: . XV, 602 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Software Science and Computational Structures by Birkedal, Lars. Publication: . XVII, 484 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic for Programming, Artificial Intelligence, and Reasoning by Bjørner, Nikolaj. Publication: . XI, 446 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Compiler Construction by O’Boyle, Michael. Publication: . XVI, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of Information and Knowledge Systems by Lukasiewicz, Thomas. Publication: . XII, 405 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Mossakowski, Till. Publication: . X, 303 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Language and Automata Theory and Applications by Dediu, Adrian-Horia. Publication: . XII, 556p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conceptual Modelling and Its Theoretical Foundations by Düsterhöft, Antje. Publication: . VIII, 329 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algebraic and Numeric Biology by Horimoto, Katsuhisa. Publication: . IX, 185 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Membrane Computing by Gheorghe, Marian. Publication: . 380p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verification, Model Checking, and Abstract Interpretation by Kuncak, Viktor. Publication: . X, 457p. 111 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Data Engineering and Management by Kannan, Rajkumar. Publication: . Approx. 355 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Verified Software: Theories, Tools, Experiments by Joshi, Rajeev. Publication: . XI, 326p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical Aspects of Declarative Languages by Russo, Claudio. Publication: . Approx. 315 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computation, Physics and Beyond by Dinneen, Michael J. Publication: . XIII, 427p. 64 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Aspects of Component Software by Barbosa, Luís Soares. Publication: . X, 305 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Certified Programs and Proofs by Jouannaud, Jean-Pierre. Publication: . XV, 401p. 87 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Programming Languages and Systems by Yang, Hongseok. Publication: . XI, 372p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية